reasoning backwards

[计] 倒推论
(reasoning backward 的复数)